大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书(共6748本)

Computer Science-Theory and Applications [electronic resource] : 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings

0
索取号：
作者：Kulikov、 Alexander.、Vereshchagin、 Nikolay.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Control and Adaptation in Telecommunication Systems [electronic resource] : Mathematical Foundations

0
索取号：
作者：Popovskij、 Vladimir.、Barkalov、 Alexander.、Titarenko、 Larysa.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Soft Computing in Industrial Applications [electronic resource]

0
索取号：
作者：Gaspar-Cunha、 Ant贸nio.、Takahashi、 Ricardo.、Schaefer、 Gerald.、Costa、 Lino.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Foundations of Large-Scale Multimedia Information Management and Retrieval [electronic resource] : Mathematics of Perception

0
索取号：
作者：Chang、 Edward Y.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Viability and Resilience of Complex Systems [electronic resource] : Concepts, Methods and Case Studies from Ecology and Society

0
索取号：
作者：Deffuant、 Guillaume.、Gilbert、 Nigel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Rigorous Software Engineering for Service-Oriented Systems [electronic resource] : Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

0
索取号：
作者：Wirsing、 Martin.、H枚lzl、 Matthias.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer Recognition Systems 4 [electronic resource]

0
索取号：
作者：Burduk、 Robert.、Kurzy艅ski、 Marek.、Wo藕niak、 Micha艂.、呕o艂nierek、 Andrzej.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Mathematical Modeling [electronic resource]

0
索取号：
作者：Heinz、 Stefan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Adaptive and Natural Computing Algorithms [electronic resource] : 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part I

0
索取号：
作者：Dobnikar、 Andrej.、Lotri膷、 Uro拧.、艩ter、 Branko.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Adaptive and Natural Computing Algorithms [electronic resource] : 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part II

0
索取号：
作者：Dobnikar、 Andrej.、Lotri膷、 Uro拧.、艩ter、 Branko.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Human Language Technology. Challenges for Computer Science and Linguistics [electronic resource] : 4th Language and Technology Conference, LTC 2009, Poznan, Poland, November 6-8, 2009, Revised Selected Papers

0
索取号：
作者：Vetulani、 Zygmunt.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Operations Research Proceedings 2010 [electronic resource] : Selected Papers of the Annual International Conference of the German Operations Research Society

0
索取号：
作者：Hu、 Bo.、Morasch、 Karl.、Pickl、 Stefan.、Siegle、 Markus.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer Science and Educational Software Design [electronic resource] : A Resource for Multidisciplinary Work in Technology Enhanced Learning

0
索取号：
作者：Tchounikine、 Pierre.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

International Symposium on Distributed Computing and Artificial Intelligence [electronic resource]

0
索取号：
作者：Abraham、 Ajith.、Corchado、 Juan M.、Gonz谩lez、 Sara Rodr铆guez.、Paz Santana、 Juan F.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Discrete Geometry for Computer Imagery [electronic resource] : 16th IAPR International Conference, DGCI 2011, Nancy, France, April 6-8, 2011. Proceedings

0
索取号：
作者：Debled-Rennesson、 Isabelle.、Domenjoud、 Eric.、Kerautret、 Bertrand.、Even、 Philippe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

0
索取号：
作者：Davies、 Jim.、Silva、 Leila.、Simao、 Adenilso.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.